The Beehive Ring and Multiring Lock Protocols
نویسنده
چکیده
Beehive is an experimental many-core computer implemented on a single FPGA. The system includes a number of RISC cores that are connected to each other and to main memory using a token ring interconnect. Among other things, the token ring is used to maintain a set of global hardware locks using a ring lock protocol. A multiring extension of the Beehive token ring has been proposed for which a more complicated multiring lock protocol is required. This paper describes the ring lock protocol and the multiring lock protocol, presents correctness proofs, and discusses the results of checking their formal specifications using the TLC model checker. The formal specifications are listed in appendices.
منابع مشابه
Multiring Techniques for Scalable
Network-centric warfare must leverage off a common network to support different purposes. While group communications based on a single virtual ring overlay may satisfy the most important requirements for survivability and security, scalability may force redesign because a single ring generally has higher delay and delay jitter. In order to provide scalability as the number of group members grow...
متن کاملNetwork reliability analysis for 3 G cellular topology design
Network reliability is an important issue in the topological design of the 3G cellular networks in order to guarantee consistent services. This paper aims to present network reliability analysis of various network topologies, including spanning tree, single ring, multiring, and two versions of hybrid ring-and-tree. We derived reliability analysis models for the hybrid ring-and-tree topologies i...
متن کاملDesign of a Uni-Directional MultiRing Switch
MultiRing is a network of 2 nodes which can be configured into different ring networks of n different configurations. It supports a wide variety of algorithms, such as algorithms for parallel image processing. In this paper, a MultiRing is implemented using a star topology with a MultiRing switch at the centre. We present a hierarchical design of the MultiRing switch. We demonstrate that the co...
متن کاملDesign of an Interconnection Network Using VLSI Photonics and Free-Space Optical Technologies Ch'ng
This paper presents the design and initial analysis of an optically interconnected multiprocessor based on the use of VCSELs (Vertical Cavity Surface Emitting Laser) and free-space optical interconnects.The design is oriented to applications where the performance is bandwidth limited in conventional multiprocessors. The processor interconnection network is based on a physical ring topology whic...
متن کاملCode Generation for the Beehive ISA
Developing computer architecture research platforms is difficult because it requires both the hardware platform and the software toolchain. In this paper, we describe the code-generation task of the software toolchain for the Beehive platform. Beehive is a many-core computer composed of simple 32-bit RISC connected using a token ring to a memory controller and Ethernet controller. We discuss th...
متن کامل